
extern const uint32_t hashwords[];

inline uint32_t random16hash(uint32_t n)
{
    // works only for 32-bit int

    return hashwords[n         & 0xffffu]
        +  hashwords[(n >> 16) & 0xffffu];
}
